| Nuprl Definition : Rds |
0,22 |
|
Rds(R)
== case R of
== Rnone =>
== Rplus(left,right)=>rec1,rec2.
== Rinit(loc,T,x,v)=> x : T
== Rframe(loc,T,x,L)=> x : T
== Rsframe(lnk,tag,L)=>
== Reffect(loc,ds,knd,T,x,f)=> ds
== Rsends(ds,knd,T,l,dt,g)=> ds
== Rpre(loc,ds,a,T,P)=> ds
== Raframe(loc,k,L)=>
== Rbframe(loc,k,L)=>
== Rrframe(loc,x,L)=>
